Ah, these files are still present on my dom0, while they're obsolete and
not shipped any more. Have them removed, so that they don't confuse the
user.
(Someone might run into old documentation about xend and see that the
files are there, and try setting options, which don't do anything
etc...)
Unpacking xen-utils-common (4.11.1-2~) over (4.11.1-2~) ...
Setting up xen-utils-common (4.11.1-2~) ...
Obsolete conffile /etc/default/xend has been modified by you.
Saving as /etc/default/xend.dpkg-bak ...
Removing obsolete conffile /etc/xen/xend-config.sxp ...
Removing obsolete conffile /etc/xen/xend-pci-permissive.sxp ...
Removing obsolete conffile /etc/xen/xend-pci-quirks.sxp ...
[...]
--- /dev/null
+rm_conffile /etc/default/xend 4.11.1-2~
+rm_conffile /etc/xen/xend-config.sxp 4.11.1-2~
+rm_conffile /etc/xen/xend-pci-permissive.sxp 4.11.1-2~
+rm_conffile /etc/xen/xend-pci-quirks.sxp 4.11.1-2~